type inference

join shbcf.ru